منابع مشابه
Minimal Sufficient Explanations for Factored Markov Decision Processes
Explaining policies of Markov Decision Processes (MDPs) is complicated due to their probabilistic and sequential nature. We present a technique to explain policies for factored MDP by populating a set of domain-independent templates. We also present a mechanism to determine a minimal set of templates that, viewed together, completely justify the policy. Our explanations can be generated automat...
متن کاملMinimal and Complete Explanations for Critical Multi-attribute Decisions
The ability to provide explanations along with recommended decisions to the user is a key feature of decision-aiding tools. We address the question of providing minimal and complete explanations, a problem relevant in critical situations where the stakes are very high. More specifically, we are after explanations with minimal cost supporting the fact that a choice is the weighted Condorcet winn...
متن کاملCauses and Explanations: A Structural-Model Approach - Part II: Explanations
∗Supported in part by NSF under grants IRI-96-25901 and 0090145. †Supported in part by grants from NSF, ONR, AFOSR, and MICRO. We propose new definitions of (causal) explanation, using structural equations to model counterfactuals. The definition is based on the notion of actual cause, as defined and motivated in a companion paper. Essentially, an explanation is a fact that is not known for cer...
متن کاملUnsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level Robot Behaviors
With the increasing ubiquity of multi-capable, general-purpose robots arises the need for enabling non-expert users to command these robots to perform complex high-level tasks. To this end, high-level robot control has seen the application of formal methods to automatically synthesize correct-byconstruction controllers from user-defined specifications; synthesis fails if and only if there exist...
متن کاملThe Basic Block Model of Extended Explanations
In this paper we argue that current generation methodologies are inadequate for determining the high-level structure characteristic of naturally-occurring extended explanations. Our analysis of such explanations indicates that high-level structure composed of a unifying f ramework and its associated basic blocks must be determined by bottom-up processes that a t tempt to satisfy speaker, listen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophy of Science
سال: 2014
ISSN: 0031-8248,1539-767X
DOI: 10.1086/676677